2013

1. Circular Coinduction in Coq Using Bisimulation-Up-To Techniques

   Jörg Endrullis, Dimitri Hendriks, and Martin Bodin

   In: Proc. Conf. on Interactive Theorem Proving (ITP 2013) , pp. 354–369 , Springer (2013)

   paper bib doi

   Bibtex

   @inproceedings{circular:coinduction:2013,
     author = {Endrullis, J\"{o}rg and Hendriks, Dimitri and Bodin, Martin},
     title = {{Circular Coinduction in Coq Using Bisimulation-Up-To Techniques}},
     booktitle = {Proc.\ Conf.\ on Interactive Theorem Proving (ITP~2013)},
     volume = {7998},
     pages = {354--369},
     publisher = {Springer},
     series = {LNCS},
     year = {2013},
     doi = {10.1007/978-3-642-39634-2\_26},
     keywords = {rewriting, coinduction, formal verification},
     type = {conference}
   }
   

   Digital Object Identifier

   10.1007/978-3-642-39634-2_26